机译:S-SETA:使用断言的选择性纯软件错误检测技术
机译:HETA:使用断言的混合错误检测技术
机译:一种采用双控制流监控的新型混合非侵入式错误检测技术
机译:通过仅软件对1×N波长选择开关进行重新编程,可实现6端口3×3波长选择交叉连接
机译:第一部分:使用定量结构选择性关系(QSSR)预测在将二乙基锌添加到苯甲醛中新的β-氨基醇的选择性。第二部分:在开发催化的,对映选择性的克莱森重排中,使用功能映射(FUNMAP)和数据库挖掘技术(CAVEAT)。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用